Abstract type

Results: 1261



#Item
431Abstract algebra / Matrix / Euclidean vector / Array data structure / Array data type / Algebra / Mathematics / Linear algebra

R Essentials Christopher Manning 4 November 2007 Here are some collected pointers on some useful things that you should have picked up, but just to make sure that you have. . . .

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2007-11-26 17:08:13
432Java platform / Computing platforms / Memory management / Pointer / Java virtual machine / Java Native Interface / Dynamic random-access memory / Type safety / ECC memory / Computing / Computer memory / Cross-platform software

Using Memory Errors to Attack a Virtual Machine Sudhakar Govindavajhala ∗ Andrew W. Appel Princeton University {sudhakar,appel}@cs.princeton.edu Abstract

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2003-03-06 09:41:50
433Array programming languages / APL programming language family / Arrays / SQL keywords / Array data type / Array data structure / Array slicing / Sparse array / SQL / Computing / Software engineering / Computer programming

SciQL, A Query Language for Science Applications M. Kersten, Y. Zhang, M. Ivanova, N. Nes CWI, Netherlands ABSTRACT Scientific applications are still poorly served by contemporary relational database systems. At best, th

Add to Reading List

Source URL: oai.cwi.nl

Language: English - Date: 2012-12-19 06:03:10
434Type theory / Procedural programming languages / GNUstep / NeXT / Objective-C / Method / C / Abstract type / Software engineering / Computing / Computer programming

Implementing Type Checking with Classes We used to have two records for each class: Class declarations = abstract syntax Class = run-time class information flattened field and method lists

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2009-02-04 16:35:18
435Type theory / Data types / Object-oriented programming / Functional programming / Program analysis / Type system / Objective-C / Polymorphism / C Sharp / Software engineering / Computing / Computer programming

ABS: A Core Language for Abstract Behavioral Specification ? Einar Broch Johnsen1 , Reiner Hähnle2 , Jan Schäfer3 ,

Add to Reading List

Source URL: einarj.at.ifi.uio.no

Language: English - Date: 2011-07-05 10:09:24
436Type theory / Data types / Type system / Abstraction / Abstract data type / Type safety / ALGOL 68 / Programming language / Lambda calculus / Software engineering / Computing / Programming language theory

Technical Report UCAM-CL-TR-569 ISSNNumber 569

Add to Reading List

Source URL: www.lochan.org

Language: English - Date: 2005-03-28 16:57:58
437Epistemology / Natural philosophy / Metaphysicians / Social philosophy / On the Soul / Reason / Aristotle / Belief / Philosophy / Knowledge / Mind

Aristotle on [Part of] the Difference between Belief and Imagination Abstract In chapter 3.3 of the De Anima, Aristotle argues for the non-type-identity of belief and imagination, i.e. that belief and imagination are dis

Add to Reading List

Source URL: www.philosophy.ox.ac.uk

Language: English - Date: 2008-10-22 10:05:06
438Probability-generating function / Moment-generating function / Phase-type distribution / Probability density function / Complex normal distribution / Meijer G-function / Mathematical analysis / Probability theory / Generating functions

Matrix-form Recursions for a family of compound distributions Xueyuan Wu and Shuanming Li Centre for Actuarial Studies, Department of Economics The University of Melbourne, Australia Abstract

Add to Reading List

Source URL: fbe.unimelb.edu.au

Language: English - Date: 2013-08-05 02:23:09
439Regression analysis / Statistical models / Econometrics / Markov chain / Phase-type distribution / Proportional hazards models / Expectation–maximization algorithm / Stochastic matrix / Gibbs sampling / Statistics / Markov models / Markov processes

Phase-Type Distributions for Competing Risks Bo Henry Lindqvist Norwegian University of Science and Technology, Trondheim, NORWAY e-mail: Abstract

Add to Reading List

Source URL: www.statistics.gov.hk

Language: English - Date: 2013-08-22 04:39:21
440Data types / C++ / Primitive types / Type theory / C programming language / Pointer / C / Type safety / Reference / Software engineering / Computing / Computer programming

Beyond the PDP-11: Architectural support for a memory-safe C abstract machine David Chisnall Colin Rothwell Robert N. M. Watson Jonathan Woodruff

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2015-01-14 18:11:07
UPDATE